退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过归纳学习改进抽象
Alexey Loginov; Thomas Reps; Mooly Sagiv;
机译:基于反例指导的抽象细化循环的定时自动机抽象细化技术
机译:通过学习,抽象和改进自动“验证”离散时间复杂系统
机译:通过归纳学习进行抽象提炼
机译:具有大理论的一级推理的抽象精炼框架
机译:视觉皮层隔室模型中的自适应学习-反馈如何实现稳定的类别学习和细化
机译:概率信息检索作为抽象,归纳学习和概率假设的组合
机译:抽象学习研究:Ⅲ。知识转移与抽象学习的转移
机译:归纳学习的物理信息排序设备和归纳学习的物理信息排序规则生成方法
机译:计数器示例引导循环抽象细化的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。